Resolution decision procedures
Fermüller, Christian G.
;
Hustadt, Ullrich
;
Leitsch, Alexander
;
Tammet, Tanel
Handbook of automated reasoning. Vol. 2
2001
/
p. 1791-1849